home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group99a.txt / 000094_icon-group-sender _Fri Apr 9 08:09:21 1999.msg < prev    next >
Internet Message Format  |  2000-09-20  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id IAA11954
  4.     for icon-group-addresses; Fri, 9 Apr 1999 08:07:19 -0700 (MST)
  5. Message-Id: <199904091507.IAA11954@baskerville.CS.Arizona.EDU>
  6. Date: Thu, 8 Apr 1999 19:21:04 -0500 (CDT)
  7. From: "John C. Paolillo" <johnp@ling.uta.edu>
  8. To: icon-group@optima.CS.Arizona.EDU
  9. Subject: Assumption Grammars in Icon?
  10. Cc: johnp@ling.uta.edu
  11. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  12. Status: RO
  13.  
  14. Dear Icon group --
  15.  
  16. Icon has a number of features that are related to logic
  17. programming languages (e.g. it allows nondeterministic
  18. depth-first search through automatic backtracking), but
  19. these days in logic programming and NLP-type applications
  20. especially, we are starting to see more and more use of
  21. "linear logic" to help solve certain problems.  I don't
  22. have a good definition of linear logic handy, but as I 
  23. understand it, it allows one to treat certain kinds of
  24. information as being "consumed" when certain kinds of 
  25. conditions are met.  This is helpful in many kinds of NLP
  26. tasks, e.g. when you need to match a verb with its arguments
  27. in a language where word order is free (arguments can be in
  28. any order with respect to the verb).  I was wondering if 
  29. anyone has (or knows of) any ideas about implementing
  30. linear logic like constructs in Icon.  My sense is that
  31. very probably this can be done without any modifications
  32. to the language, but I'm a bit unsure as to how it would
  33. be done.  Can anyone suggest something (a technique, or
  34. a reference to a paper)?
  35.  
  36. If you need to see something in order to get a sense of the
  37. kind of thing that linear logic allows, Dahl and Tarau
  38. discuss an implementation of what they call "assumption
  39. grammars" in Tarau's BinProlog, in the following paper:
  40.  
  41. Assumption Grammars: Parsing as Hypothetical Reasoning
  42. http://clement.info.umoncton.ca/html/JAGS/html.html
  43.  
  44. (For those that read comp.lang.prolog, this was recently 
  45. mentioned there).  
  46.  
  47. Thanks,
  48.  
  49. John C. Paolillo
  50. UTA Linguistics
  51.